Geodetic dual-frequency GPS receivers under anti-spoofing door P.G. Sluiter