The atmosphere of Mars from mariner 9 radio occultation measurements