Modeling the Fundamental Diagram of Mixed Traffic Flow With Dedicated Lanes for Connected Automated Vehicles