The influence of tree thinning on the soil water in a semi-arid savanna of southern Africa