Resection of the internal carotid artery in selected patients affected by cancer of the skull base