红旗渠工程历时