Estimated benefit of automated emergency braking systems for vehicle–pedestrian crashes in the United States. (12th June 2019)