theory of underground coal mining