The Mars Atmosphere Spectrometer for Mars Observer