The security and privacy behind IBM’s Digital Health Pass