Finite-time control of discrete-time stochastic systems