names of set of mining machines