Ab initio study of fluorocyclobutenes: an attempt to resolve the difference between microwave spectroscopy and electron diffraction geometries of hexafluorocyclobutene