Efficient distributed source coding for multiple receivers via matrix sparsification.