Estimating species phylogenies using coalescence times among sequences