advanced tools used in mining>