UPPAAL School Project. Modelling the IEEE 802.11 MAC protocol