Diamonds in the deep: How gems are mined from the bottom of the ocean