A Survey of COVID-19 Contact Tracing Apps