Scale and benefit of global carbon markets under the 2 °C goal: integrated modeling and an effort-sharing platform