Ab initio-based approach to elemental nitridation process of α-Al2O3