mining operations” and “mining” include every method or process by which any mineral is won from the soil or from any substance or constituent thereof;