How Contact-Tracing Apps Work