Theory of Auger Neutralization of Ions at the Surface of a Diamond-Type Semiconductor