A DFT study on the mechanisms for the cycloaddition reactions between 1−aza-2-azoniaallene cations and acetylenes