mining and processing of ores