A Method of Estimating the Domain of Attraction for Nonlinear Discrete-Time Systems