Rock Formation and Carbon Cycling