Ionization Efficiency Measurement and Optimization of a Thermal Ion Source for Radioisotope Electromagnetic Separation