Nonlinear Filtering Methods for Spacecraft Navigation Based on Differential Algebra