what machine is used to mine copper ore