红旗渠开凿耗时几年完工