rate-distortion function