harmful gas detection in coalmines