Spacecraft nonlinear attitude control with bounded control input