Robust H-infinity filtering for switched linear discrete-time systems with polytopic uncertainties