Determining the crystal and electronic structures of the magnesium secondary battery cathode material MgCo2−xMnxO4 using first-principles calculations and a quantum beam during discharge