Severe head injury in children: management of a traumatic craniotomy case in a resource-constrained hospital