A tax on the energy used by crypto miners could cut emissions by 100 million tons a year, equal to Belgium’s emissions, say two IMF executives.