How rock removes CO2 from the atmosphere