Retrievals of tropospheric ozone profiles from the synergism of AIRS and OMI