The Marketplace for Government Real Estate