machines in industries use in mining