Distributed Source Coding: Theory and Practice