Comparison of satellite total ozone measurements with the distribution of tropospheric ozone obtained by an airborne UV-DIAL system over the Amazon Basin