An Industrial Investigation of Similarity Measures for Model-Based Test Case Selection