On the formation of HNO3 in the Antarctic mid to upper stratosphere in Winter