Theoretical pump-probe spectroscopy in quantum solids using non-linear response functions: The example of NiO.