How to get people to actually use contact-tracing apps