Water Allocation Strategies for the Kat Basin in South Africa : Comparing Negotiation Tools and Game Theory Models