Irrigation of agriculture