Variational Inequality Models of Ideal Dynamic User-Optimal Route Choice Problems