Craniotomy for meningioma in the United States between 1988 and 2000: decreasing rate of mortality and the effect of provider caseload.