Safe and Efficient Co-Existence of Autonomous Vehicles with Human-Driven Traffic at Signalized Intersections