A convergent neural state estimator for nonlinear stochastic systems