Propagating Regular Counting Constraints