Optimization of Fault-Tolerant Thruster Configurations for Satellite Control