Optimality of Huffman Codes