Density Functional Theory Study of Influence of Oxide Thickness and Surface Alloying on Cl Migration within α-Al2O3