Cureus | Acceptability and Effectiveness of COVID-19 Contact Tracing Applications: A Case Study in Saudi Arabia of the Tawakkalna Application