MATMOS: the Mars atmospheric Trace Molecule Occultation Spectrometer