machines used in mining and their uses