CloudAqua: A Quantitative Approach to Availability in Cloud Services