Why would anyone bother mining diamonds? Is it somehow cheaper than just producing them?