Charles Polkey: neurosurgeon and pioneer of the surgical treatment of epilepsy