Global predictive stabilization of input-saturated linear systems