Defect formation energy and magnetic properties of aluminum-substituted M-type barium hexaferrite