Model Reduction of Discrete-Time Markov Jump linear systems