Design Optimization, Series Production, and Testing of the SIS100 Superconducting Magnets for FAIR