Remote source coding with two-sided information.