Quantitative anatomic study of atlanto-odontoid joint and designation of artificial atlanto-odontoid joint