types of equipment used in coal mining crusher