Protonated cyclopropane as an intermediate in cation–olefin cyclizations. Ab initio and density functional theory investigations