what is the tools machines and chemical used to mine copper