Two-layer modeling of IEEE 802.11x channel occupancy