mining in processing of ore