Gravar-mail: Cophenetic metrics for phylogenetic trees, after Sokal and Rohlf