Machine Learning-Based User Scheduling in Integrated Satellite-HAPS-Ground Networks