Water allocation in the Krishna River Basin to improve water productivity in agriculture