Linear algebra, geodesy, and GPS