what are the equipment used for coal mining