home > > introduction to mining in