Ab initio simulation of the interaction between ionic crystal surfaces and the atomic force microscope tip