mine machines and their names