What does the internal carotid artery do for the ear?