Rate Distortion Theory: A Mathematical Basis for Data Compression