Diamonds and the Geology of Mantle Carbon