home > > introduction to mining notes