Relationship between proton shielding constants and electric dipole moments in the hydrogen halides