Low-Carbon Operation of Data Centers With Joint Workload Sharing and Carbon Allowance Trading | Synapse