mining operation