Ionospheric Time-Delay Algorithm for Single-Frequency GPS Users