Structure of the (0001) surface of α-Al2O3 from first principles calculations