Entropy and Certainty in Lossless Data Compression