Digital contact tracing protocols with centralized reporting