Isotope separation factor of carbon dioxide-water system and isotopic composition of atmospheric oxygen