Extradural disconnection of the cavernous sinus with preservation of the internal carotid artery: indication and technique