Proterozoic carbon cycle