the importance of mining industries