How do designers know the exact width to make pedestrian walkways so that people can walk around comfortably. Is there a formula that takes in the population density of an area and how many people go outside at a given time to calculate the walkway width?