an introduction to mining and mineral