Low complexity user scheduling for multi‐antenna Gaussian broadcast systems with quality of service requirements. Issue 10 (1st July 2014)