Fast precise GPS positioning in the presence of ionospheric delays door D. Odijk