Theory of ballistic-electron-emission spectroscopy of NiSi2/Si(111) interfaces.