A randomized controlled trial on the efficacy, safety, and pharmacokinetics of metformin in severe traumatic brain injury