Modelling mixed traffic flow of autonomous vehicles and human-driven vehicles