The effect of front-end vehicle height on pedestrian death probability