Greenslater: On Satisfying Green SLAs in Distributed Clouds | Synapse