Rate distortion theory