Mars atmosphere spectroscopy with ExoMars Trace Gas Orbiter and the Planetary Spectrum Generator (PSG)