Efficacy of Splenectomy for Proximal Gastric Cancer with Greater Curvature Invasion or Type 4 Tumor: a Propensity Score Analysis of a Multi-Institutional Dataset