Devascularization procedure in surgical management of portal hypertension: Standardization and results of a new technique