NAT nucleation and denitrification in the polar stratosphere