The low-carbon energy transition will need less mining than fossil fuels, even when adjusted for waste rock