Modeling Interactions between Pedestrians and Autonomous Vehicles