Mechanism of the solid state reaction NaCl + KF → NaF + KCl