Carbon cycling through rocks