Source coding with side information at the decoder: Models with uncertainty, performance bounds, and practical coding schemes.