Деривация (в гидротехнике)