difference between mining and exploration