Lossless Transmission of Correlated Sources over a Multiple Access Channel with Side Information