Faint young Sun and the carbon cycle: implication for the Proterozoic global glaciations