The Gardner neurovascular decompression operation for trigeminal neuralgia