New operators appointed at Kruger National Park restaurants