Microsurgical anatomy of the internal carotid artery at the skull base