Introduction to underground coal mining.