CityFlowER: An Efficient and Realistic Traffic Simulator with Embedded Machine Learning Models | Synapse