Rate–distortion theory