Fast precise GPS positioning in the presence of ionospheric delays