The Atmosphere Explorer mission