Gastrin levels after proximal gastric vagotomy