Stable carbocations. 273. [1.1.1.1]- and [2.2.1.1]Pagodane dications: frozen two-electron Woodward-Hoffmann transition-state models