Density functional theory study of flat and stepped NaCl(001) | Synapse