Text this: Finite-Time H∞ Control for Discrete-Time Markov Jump Systems with Actuator Saturation