How Many New Mines Are Needed for the Energy Transition?