Stability and electronic properties of carbon in α-Al2O3