A discrete time dynamic flow model and a formulation and solution method for dynamic route choice