Theory-based Bayesian models of inductive reasoning