Testing speciation models with DNA sequence data