Computational study on the formation of N-spiro bis-aziridinium ions and their nucleophile-induced ring-opening reactions