the process of mining technology