Theoretical study of electron correlation and relativistic effects on spectroscopic constants of hydrogen halides HX (X=F, Cl, Br, I)