How smart city technology can be used to measure social distancing