Modeling of coupled collision and congestion in finite source wireless access systems.