Quantitative pupillometry for the monitoring of intracranial hypertension in patients with severe traumatic brain injury