what is all about mining