μ-Dependent model reduction for uncertain discrete-time switched linear systems with average dwell time