equipments used to mine copper ore in panama