Quantum mechanics of open systems: functional integral methods