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