istrument used in copper mining