Spectroscopic Determination of the Ring-Twisting Potential Energy Function of 1,3-Cyclohexadiene and Comparison with Ab Initio Calculations