A Measure of the Information Content of Phylogenetic Trees, and its use as an Optimality Criterion