Cold-cap reactions in vitrification of nuclear waste glass: Experiments and modeling