Moving-horizon state estimation for nonlinear discrete-time systems: New stability results and approximation schemes