Optical-pumping determination of the nuclear magnetic moments of the radioisotopes mercury-193, -193m, -195m, and -197m