equipment or technology for coal mining