Treatment strategies for severe C1C2 luxation due to congenital os odontoideum causing tetraplegia