Market-Based Resource Allocation for Utility Data Centers | Synapse