Traumatic brain injury in pedestrian–vehicle collisions: Convexity and suitability of some functionals used as injury metrics. (November 2016)