Viking radio occultation measurements of the Martian atmosphere and topography: Primary mission coverage