A 3-approximation algorithm for the subtree distance between phylogenies