An SLA-based Broker for Cloud Infrastructures