coal mining equipment in 1800