Learning Curves for Decision Making in Supervised Machine Learning - A Survey