copper mining machines used in the 1800s