Os odontoideum: etiology and surgical management.