Metric Matters: A Formal Evaluation of Similarity Measures in Active Learning for Cyber Threat Intelligence