taxation in mining industry