Efficiency and fairness of system-optimal routing with user constraints