TROPOMI, the solar backscatter satellite instrument for air quality and climate, heads towards detailed design