Alleviation of intracranial air using carbon dioxide gas during intraventricular tumor resection