home > > different types of equipment used in underground coal mining