Control Allocation for Spacecraft Under Actuator Faults