Dutch ICD-10 and ICF in a CEN Technical Standard Format for version control and maintenance