Design of observers for time-varying discrete-time descriptor systems