Cervical vertebrae can be distinguished from other types by the presence of _____.