Stranded assets, externalities and carbon risk in the Australian coal industry: The case for contraction in a carbon-constrained world