Methodology for Validating Dynamic Origin–Destination Matrix Estimation Models with Implications for Advanced Traveler Information Systems · Study