How CO2 is recycled into diamonds