Throughput analysis of IEEE 802.11 DCF under finite load traffic