machines used to mine copper ore