Statistics for Experimental Characterization and Finite Element Modelling of Cervical Facet Joint Mechanics