Compression of a data file using the Huffman coding algorithm