Statistics of User Scheduling and Power Allocation for Precoded Multi-Beam High Throughput Satellite Systems With Individual Quality of Service Constraints