WHO classification of the tumors of the central nervous system