A Variational Inequality Formulation of the Dynamic Network User Equilibrium Problem