On models for multi-user Gaussian channels with fading