An evaluation of the Mn–Ga system: Phase diagram, crystal structure, magnetism, and thermodynamic properties. (March 2020)