How many different types of brain tumors are there?