Laparoscopic resection for ectopic gastric mucosa of the duodenum: Report of a case