Carbon isotope fractionation between dissolved and gaseous carbon dioxide