Cincinnati housing business would boom with influx of 50,000 Amazon workers