coal mining euipment in 18th century usa