Text this: On the Modelling of the Mobile WiMAX (IEEE 802.16e) Uplink Scheduler