Source encoding with side information and a converse for degraded broadcast channels