how coal mining equipment has changed