A Fault-Tolerant Magnetic Spin Stabilizing Controller for the JC2Sat-FF Mission