Principles of the new World Health Organization (WHO) classification of brain tumors