Interval observers for discrete-time systems