Statistics for Incorporating Ligament Laxity in the Upper Cervical Spine for Finite Element Modeling