Surgery for Locked Cervical Facets: A Technical Note