methane gas detection in coal mines