Operations for non-malignant disease of the stomach