The Guesswork of Ordered Statistics Decoding: Complexity and Practical Design.