Quantum Shannon theory