Global predictive regulation of null-controllable input-saturated linear systems