Quantifying and Improving the Availability of High-Performance Cluster-Based Internet Services