A comparison between DFT and other ab initio schemes on the activation energy in the automerization of cyclobutadiene