Successive Refinement for the Wyner-Ziv Problem and Layered Code Design