Many-core algorithms for statistical phylogenetics