Nonlinear Discrete-Time Observers with Physics-Informed Neural Networks