Potential Energy Impact of a Four-Day, Forty-Hour Work Week for Federal Civilian Employees: Working Paper