Mixed H2/H∞ filtering for polytopic discrete-time systems with parameter dependent lyapunov functions