Optimal User Scheduling for Downlink Multi-User MIMO Systems Using Convolutional Neural Networks