红旗渠开挖时间