Optimum irrigation and pond operation to move away from exclusively rainfed agriculture: the Boru Dodota Spate Irrigation Scheme, Ethiopia