PET imaging in the surgical management of pediatric brain tumors