SPACE4CLOUD: A Tool for System PerformAnce and Cost Evaluation of CLOUD Systems