Analysis of spatial and temporal changes of vegetation cover and its driving forces in the Huainan mining area