Sliding-mode control for uncertain systems with input saturation