Rate distortion theory : a mathematical basis for data compression