advanced tools used in mining