derivation of rank correlation