Numerical linear algebra in the integrity theory of the Global Positioning System