Modeling open-world cognition as on-demand synthesis of probabilistic models