machine used under ground mine to dig minerals