"The federal government is the largest single consumer of energy in the country." . . . .