The government’s real estate arm makes an investment in smarter building.