Management of double aortic arch in children