Implementing an electronic public health record for policy planning in the UK military sector: Validation of a secure hashing algorithm