types of machenery used for mining iro ore