how to detect of methane in coal mines