https://www.geologyin.com/2014/03/what-is-mining.html