Pairwise additive potential models for the interaction of He atoms with the (001) surfaces of LiF, NaF, NaCl and LiCl