Long-term changes in the woody vegetation of the Kruger National Park, with special reference to the effects of elephants and fire