Sliding-mode control of discrete-time linear plants with input saturation: application to a twin-rotor system