The influence of increasing population size and vegetation productivity on elephant distribution in the Kruger National Park