Cross-Comparison and Calibration of Two Microscopic Traffic Simulation Models for Complex Freeway Corridors with Dedicated Lanes