Fault-tolerant attitude control systems for a satellite equipped with Control Moment Gyros