Estimating cerebral microinfarct burden from autopsy samples