There’s no denying that the federal government needs to sell many of its buildings. It would cost $370 billion to repair all of them, while they were only 12% occupied