QoS-based user scheduling for multi-user MIMO systems