Theoretical Study Using First-Principles Calculations of the Electronic Structures of Magnesium Secondary Battery Cathode Materials MgCo 2− x Mn x O 4 ( x = 0, 0.5) in the Pristine and Discharged States