Derivation of OH concentration from satellite infrared measurements of NO2 and HNO3