Linear Algebra, Geodesy, and GPS