Portal hypertension: surgical management in the 1990s.