Proximal gastric vagotomy compared with selective vagotomy and pyloroplasty in duodenal ulcer. Results from a controlled randomized study 6 to 9 years after the operation