哈夫曼编码公式怎么用