Redundancy and optimization of tANS entropy encoders