Mobilizing domestic resources for the Agenda 2030 via carbon pricing