GPS for geodesy (Springer Verlag, 1996)