invariants for group-based phylogenetic models