A theoretical study of the cationic dimerization and polymerization of isobutene