Managing Human-driven and Autonomous Vehicles at Smart Intersections