Receding-horizon estimation for nonlinear discrete-time systems