Diagnosis and surgical treatment of giant splenic artery aneurysms with portal hypertension: report of 4 cases.