machines/equipment used for coal mining