Metrics, Models And Methodologies For Energy-Proportional Computing