coal mining equipment 1800s