gases and gas detection methods in the coal mines