Performance, Power, and Thermal Modeling and Optimization for High-Performance Computer Systems.