Analysis of input-to-state stability for discrete time nonlinear systems via dynamic programming