Text this: Opportunistic Scheduling in IRS-Aided UAV Multi-User Wireless Communication Systems: Modeling and Analysis