Email zadetek: Exploring the effectiveness of a COVID-19 contact tracing app using an agent-based model