machines used in mineral exploitation