PRISM models of WiFi networks based on the RTS/CTS version of IEEE 802.11 MAC