Finite-Time Stability of Discrete-Time Systems