Density-functional theory and quantum chemistry studies on "dry" and "wet" NaCl(001)