How many different types of banana trees are there?