department of mining industry