Characterizing Behavioral Differences of Autonomous Vehicles and Human-Driven Vehicles at Signalized Intersections Based on Waymo Open Dataset