Seasonal Variations in UTLS Ozone as Determined by Measurements From the TOPSE Campaign, Satellite Observations, and Model Output