Energy-Constrained Optimization of Data Center Layouts: An Integer Linear Programming Approach | Synapse