Revagotomy for recurrent peptic ulceration