A Mathematical Model for Performance of IEEE 802.15.4 Beacon-Enabled Mode