Stabilization of discrete-time linear systems with saturating actuators using sliding modes: application to a twin-rotor system