Energy transition will require substantially less mining than the current fossil system