Gravar-mail: COVID-19 mitigation by digital contact tracing and contact prevention (app-based social exposure warnings)