Estimation of the domain of attraction for saturated discrete-time systems