Far-infrared spectrum and ab initio calculations for vinylene carbonate