Diamonds and the Mantle Geodynamics of Carbon