Gain-scheduled / filtering for linear discrete-time systems with polytopic uncertainties