what is coal mining equipment