Survey Of Ionospheric Propagation Effects And Modeling Techniques For Mitigation Of Gps Error