An Analytical Model for Wireless Sensor Networks with Sleeping Nodes