An estimate of the number of tropical tree species