Industrial & warehousing demand across the top 5 cities is almost comparable to the corresponding period of 2022, with 17 mn sq ft of gross leasing in first 3 quarters of 2023