Mining's role in zero carbon