equipments used to mine copper ore