It’s hardly news that the largest single consumer of energy in the United States is the federal government, with its stock of 360,000 buildings and 650,000 fleet vehicles. What is surprising, though, is the extent to…