subtree extraction for a set of taxon names