On the robust stabilization of discrete-time SISO plants with saturating actuators