Robust State Feedback Stabilization of Uncertain Discrete-Time Switched Linear Systems Subject to Actuator Saturation