technology development in mining