how are copper ores mined from underground