difference between leaching and mining