after the diamond ore is mined where is it processed