Theory of negative-ion conversion of neutral atoms in grazing scattering from alkali halide surfaces