mining the hard rock mining processs