Analysis of IEEE 802.11 non-saturated DCF by matrix analytic methods