what is the use of mining industry