红旗渠开挖时耗时几年完工