what is zinc used for in mining