is gravel crushing considered mining