Energy-Efficient Management of Campus PCs