ball mill economic importance of mining