Probabilistic user modelling methods for improving human-in-the-loop machine learning for prediction