Rate-distortion theory