From OMI to TROPOMI: Entering the realm of air quality from space