Density functional theory study of deep traps in silicon nitride memories