First-principles simulation of the intracage oxidation of nitrite to nitrate sodalite