H∞ filtering for discrete-time systems with time-varying delay