Finite Time Stability, Semistability, and Optimality of Discrete-Time Nonlinear Deterministic and Stochastic Dynamical Systems with Application to Network Consensus