Gravar-mail: Hepatic Resection Is Safe and Effective for Patients with Hepatocellular Carcinoma and Portal Hypertension