Optimization strategies on urban residents’ traveling modes with carbon tax incentives | Synapse