Text this: Gastric lipomatosis treated by total gastrectomy: a case report