RobustH∞finite-time control for discrete-time polytopic uncertain switched linear systems