diamonds are mined