ch4 detectors for coal mines