A comparison of multi-cloud provisioning platforms