Mining big data with machine learning