IDH2 and astrocytoma (excluding glioblastoma): WHO diagnostic criteria for IDH mutant astrocytoma