Total gastrectomy for type 1 gastric carcinoid: an unusual surgical indication?