An Information-Theoretic Perspective on Successive Cancellation List Decoding and Polar Code Design