Learning Concepts Definable in First-Order Logic with Counting