How Do They Mine Diamonds?