On the optimality of multiantenna broadcast scheduling using zero-forcing beamforming | Synapse