Text this: Use of a digital contact tracing system in Singapore to mitigate COVID-19 spread