Text this: Learning Concepts Definable in First-Order Logic with Counting