The relationship between intracranial pressure and the degree of brain swelling in patients subjected to infratentorial surgery