Observer Based Finite-Time Stabilization for Discrete-Time Markov Jump Systems with Gaussian Transition Probabilities