An ab initio study of α-Al2O3(0001): the effects of exchange and correlation functionals