A Mathematical Programming Approach for Server Consolidation Problems in Virtualized Data Centers | Synapse