Lossless joint source-channel coding across broadcast channels with decoder side information.