Measurement of heavy isotope enrichment in tropospheric ozone