Rate distortion theory;: A mathematical basis for data compression (Prentice-Hall series in information and system sciences)