Large angle attitude control of spacecraft with actuator saturation