A Practical Introduction to Early Stopping in Machine Learning