Inversion Methods for Ionospheric Occultation from GPS Observation Data