copper mining equipment used in the th century