A benchmark of globally-optimal anonymization methods for biomedical data