What Is a Lossless Codec?