Downfolding Methods in Many-Electron Theory