DICE and the carbon budget for ambitious climate targets