after the diamond ore is mined where is it processed in processing plants