Climate-hydrology-topography-anthropogenic factors jointly drive the evolution of vegetation coverage in semi-arid regions: A downscaling approach based on random forest and nonlinear residual correction