Photodissociation of isotopically heavy O 2 as a source of atmospheric O 3