A Survey of Human-in-the-loop for Machine Learning