Statistics for Allocation of water among different water use sectors in Sri Lanka: lessons of experience