Title: Introduction to mining