Text this: On the modelling of the mobile WiMAX (IEEE 802.16e) Uplink Scheduler