home > > theory of underground coal mining