machines used to undercut mining