Characterization and modeling of chemical reactions taking place during the vitrification of high level nuclear waste