As said those are estimates. In any case you see the current carbon tax is not anywhere near the cost. It's worth to mention those cost depend on past, present and future emissions as well.

Where did I say that only a small part should be paying the real cost? That's a straw man.

And no: miners are externalizing exactly because the lack of a carbon tax. And from my experience they are not very interested in introducing one either.