Computational contact analysis of joint congruency.