Computational Study on the Formation of N-spiro bis-Aziridinium Ions and Their Nucleophile-induced Ring Opening Reactions