Discrete-Time Neural Observers