Oxygen isotope fractionation between CO2 and water, and the isotopic composition of marine atmospheric CO2