different types of equipment used in underground coal mining