Saturation throughput analysis of a carrier sensing based MU-MIMO MAC protocol in a WLAN under fading and shadowing