Priority water rights. Are they useful for improving water-use efficiency at the irrigation district level?