what equipent do people used to mine copper