Apple and Google’s new COVID-19 contact-tracing system is taking shape