Random phylogenies and the distribution of branching times