Predicting human decisions with behavioural theories and machine learning