Vagotomy and gastrojejunostomy for benign gastric outlet obstruction.