Energy-proportional computing: a new definition - Sen, Rathijit,