Carbon budgets and energy transition pathways