Decompressive craniectomy for cerebral infarction. An experimental study in rats