红旗渠开挖多少年完工