Using Tradable Water Permits in Irrigated Agriculture