Splanchnicotomy, vagotomy and total gastrectomy in the treatment of peptic ulcers