Coding Theorems for Quantum Channels