gas detection equipment market report