Text this: Joint Antenna Selection and Proportional Fairness User Scheduling for Multi-User Massive MIMO Systems