Finite-time attitude control for rigid spacecraft subject to actuator saturation