Minimally Invasive Versus Open Liver Resection for Hepatocellular Carcinoma in the Setting of Portal Vein Hypertension: Results of an International Multi-institutional Analysis