Globally stabilizing saturated attitude control in the presence of bounded unknown disturbances