Finite-time H∞ control for discrete-time Markovian jump systems subject to average dwell time