Gravar-mail: Deploying decentralized, privacy-preserving proximity tracing