The ozone-induced oxidation of tetrafluoroethylene