Text this: Real-time estimation of ionospheric delay using GPS measurements /