Ab initio modeling of clean and Y-doped grain boundaries in alumina and intergranular glassy films (IGF) in β-Si3N4