Data-driven moving horizon state estimation of nonlinear processes using Koopman operator