Mining technology - Type of technology that increases efficiency and production of mines.