Guidance for Policymakers on the Role of Domestic Carbon Pricing and International Carbon Credit Markets in Achieving LTSs and NDCs