Robot-assisted resection of gastric duplication cysts in a child: A detailed case report