The mining industry as a net beneficiary of a global tax on carbon emissions | Synapse