Influence of artificial grassland restoration on soil carbon pool in an arid mining land