Modelling and Quantifying Membership Information Leakage in Machine Learning