Assessment of air quality in North Korea from satellite observations.