The surgical treatment of syringomyelia