A Person-to-Person and Person-to-Place COVID-19 Contact Tracing System Based on OGC IndoorGML