methane detector in coal mines