A Digital 'Yellow Card' for Securely Recording Vaccinations Using Community PKI Certificates