Mariner 9 ultraviolet spectrometer experiment: Pressure-altitude measurements on Mars