Modeling and managing mixed traffic with human-driven and automated vehicles