Finite gain stabilization of discrete-time linear systems subject to actuator saturation