New convergence conditions for receding-horizon state estimation of nonlinear discrete-time systems