people in mining