Strategy-Proof Dynamic Resource Pricing of Multiple Resource Types on Federated Clouds