Arterial vascularization of the cranial nerves.