The molecular structure and the puckering potential function of 1,1-dimethylsilacyclobutane determined by gas electron diffraction and relaxation constraints from ab initio calculations