Using large-scale experiments and machine learning to discover theories of human decision-making