Low-Carbon Economic Dispatch of Data Center Microgrids via Heat-Determined Computing and Tiered Carbon Trading | Synapse