PFS: the Planetary Fourier Spectrometer for Mars Express