Robust Control for Discrete-Time Markovian Jump Systems in the Finite-Time Domain