derivation of rank correlation coefficient