Modeling the 802.11 distributed coordination function in non-saturated conditions