Tom Mitchell: A Pioneer in Machine Learning