Efficient Calibration of Agent-Based Traffic Simulation Using Variational Auto-Encoder