Open Quantum Systems: A Mathematical Perspective