Computational Models of Symbolic Rhythm Similarity: Correlation with Human Judgments