ArTIC-M&S: An Architecture for Tosca-Based Inter-Cloud Modeling and Simulation