gas detection equipment market