progress in mining