Designing Pedestrian Interaction with Autonomous Vehicles