Map of pavement widths helps local authorities with social distancing plans