Quantum embedding theories