Laparoscopic gastric devascularization without splenectomy is effective for the treatment of gastric varices