Title: Control Allocation for Spacecraft under Actuator Faults