A Game-Theoretic Approach to Coalition Formation in Green Cloud Federations