Gastric-tube esophagoplasty in children