Probability for machine learning