Carbon isotopes and the rise of atmospheric oxygen