Bonding at the α-Al2O3(001)/Pt(111) interface: Molecular orbital theory