On the formation and sedimentation of stratospheric nitric acid aerosols: Implications for polar ozone destruction