Laparoscopic proximal gastrectomy for leiomyosarcoma of the stomach (with video).