Challenges and progress in phylogeny estimation on very large numbers of sequences