Removal of the Gasserian ganglion for facial neuralgia