Moving-horizon state estimation for nonlinear systems using neural networks