Probabilistic program induction as a model of human concept learning