Cranioplasty for patients developing large cranial defects combined with post-traumatic hydrocephalus after head trauma