Coding theorems of classical and quantum information theory (2013)