The mining of copper ores by open-pit methods