First-principles study of the α-Al2O3(0001)/Cu(111) interface