Many-body theory of pump-probe spectra for highly excited semiconductors