Comparison of atmospheric temperatures obtained through infrared sounding and radio occultation by Mars Global Surveyor