Finite-time input-to-state stability of nonlinear systems: the discrete-time case