the process of gas emission in a coal mine