Text this: Research progress on operation control and optimal scheduling of irrigation canal systems.