Semiglobal state observers for nonlinear analytic discrete-time systems