The ab initio potential energy surface and spectroscopic constants of HOCl