On Design of TDD for Joint Uplink and Downlink Resource Allocation in OFDMA-Based WiMax