Ground-based remote sensing of O 3 by high- and medium-resolution FTIR spectrometers over the Mexico City basin