machines used in the mine