Gravar-mail: Effectiveness modelling of digital contact-tracing solutions for tackling the COVID-19 pandemic