Model-based FDI for Agile Spacecraft with Multiple Actuators Working Simultaneously