An edge-based social distancing detection service to mitigate COVID-19 propagation