Modeling IEEE 802.15.4 Networks over Fading Channels