Variation of craniocervical junction volume as an effective parameter for basilar invagination treatment.