An iterative approach for the description of null controllable regions of discrete-time linear systems with saturating inputs