Analytical Approach to the Local Contact Potential Difference on (001) Ionic Surfaces:~Implications for Kelvin Probe Force Microscopy