Leveraging ambition through carbon markets