Joint queue control and user scheduling in MIMO broadcast channel under zero-forcing multiplexing