Water adsorption on a NaCl (001) surface: A density functional theory study