RAxML-VI-HPC: maximum likelihood-based phylogenetic analyses with thousands of taxa and mixed models