Traumatic brain injury in pedestrian-vehicle collisions: convexity and suitability of some functionals used as injury metrics