A Benchmark of Globally-Optimal Anonymization Methods for Biomedical Data