A 2.5-T, 1.25-m Free Bore Superconducting Magnet for the Magnum-PSI Linear Plasma Generator