machine that are used by mines