SLAFM: A Service Level Agreement Formal Model for Cloud Computing