Convex Optimization in Water-Resource Allocation: Asymptotic Analysis and Identifiability Checks in Rwanda | Synapse