Hydraulic engineering of the Indus Valley civilization