Quantitative Methodology for Comparing Microscopic Traffic Simulators | Synapse