the extraction of metals from their ores