Quantitative anatomy of the cervical facet and the posterior projection of its inferior facet.