Proximity and post-COVID-19 urban development: Reflections from Milan, Italy