Decompressive hemicraniectomy for ischemic stroke in the pediatric population