Irrigation pocket book : or facts, figures, and formulae for irrgation engineers