ISO 25237:2017 — Health informatics — Pseudonymization