Cingulate-motor circuits update rule representations for sequential choice decisions