Quantitative studies on proliferative changes of reactive astrocytes in mouse cerebral cortex