The distribution of branch lengths in phylogenetic trees