The gastric mucosa in portal hypertension