Properties of dynamic user equilibrium solution: existence, uniqueness, stability, and robust solution methodology