Radio occultation measurements of the lunar ionosphere.