Text this: Gas Emission Prediction and Control in Deep Coal Mines.