Bi-level optimization of carbon emission pricing for urban road traffic and environmental impacts | Synapse