"Mining" or "mining operation"
has the meaning set forth in s. 293.01
5(9) means all or part of the process involved in the mining of metallic minerals, other
6than for exploration or prospecting, including commercial extraction,
7agglomeration, beneficiation, construction of roads, removal of overburden, and the
8production of refuse