Simulation of a scanned tip on a NaF(001) surface in friction force microscopy