Earth system simulations suggest that the Proterozoic ocean was greener but less productive | Synapse