names and machines for mining