what equipment is used in coal mining