Comparing SLAs for Cloud Services: A Model for Reasoning