Markov Modeling of Fault-Tolerant Wireless Sensor Networks