Evaluation of formal methods in hip joint center assessment: an in vitro analysis.