Analytical Derivation and Comparison of Alarm Similarity Measures