Comparison of MR imaging against physical sectioning to estimate the volume of human cerebral compartments.