What is distal internal carotid arteries?