Machine learning and data mining for sports analytics