Public housing and school choice in a gentrified city