The effect of ionic polarization on the lattice distortion produced by a substitutional K+ ion in NaCl