457-nm radiation source based on a diode laser for precision spectroscopy of magnesium atoms. (March 2020)