Modeling the 802.11 distributed coordination function in nonsaturated heterogeneous conditions