Industri pertambangan dan teknologi permesinan