What is the formula to calculate Spearman's rank correlation coefficient when ranks are not repeated.