Prevention and mitigation of head injury from antiquity to the present.