Finite-time stability of discrete-time systems