Algebraic Methods in Spacecraft Navigation