Positive effects of vegetation restoration on the soil properties of post-mining land