coal mining equipment of the past