Nonlinear Filtering Based on Taylor Differential Algebra