percussion drilling in the mining industry