Is synchronous hepatectomy and splenectomy superior to hepatectomy alone for selected patients with hepatocellular carcinoma and clinically significant portal hypertension?