Using Fault Injection and Modeling to Evaluate the Performability of Cluster-Based Services