methane detection in coal mines in united states