pollution from mining of ore