Machine-generated theories of human decision-making