DifferentiableEquilibriumComputationwith DecisionDiagramsforStackelbergModelsof CombinatorialCongestionGames